formal semantics
[ˈfɔ:məl sɪˈmæntɪks]
- 基础释义 纠错
- 释义
形式语义学[程序];
- 双语例句 更多例句
-
1、
为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。
来源：互联网摘选 -
2、
-
3、
-
4、
-
5、
However, its lack of rigor and formal semantics prevents it further developing.
但uml没有精确的、形式化的语义阻碍了它的进一步发展.
来源：网络文摘精选 -
6、
它为设计人员提供了各种各样的视图、半形式化的元模型语义、对设计元素的形式化逻辑约束。
来源：互联网摘选 -
7、
Multi-paradigm Based Instruction Assistant System for Formal Semantics Course
基于多语言范例的形式语义学教学辅助系统
来源：互联网摘选
- 相关词组
- 相关阅读
-
2025年6月四级作文范文带翻译1：自荐信
简答网 · 四六级英语
-
高考英语阅读理解真题119(含答案解析)
简答网 · 高考英语
-
高考英语七选五真题37（含答案解析）
简答网 · 高考英语
-
高考英语七选五真题30（含答案解析）
简答网 · 高考英语
-
大S流感并发肺炎离世，具俊晔放弃遗产
简答网 · 双语娱乐资讯
-
高考英语阅读理解真题96(含答案解析)
简答网 · 高考英语